$\forall$$b$:$\mathbb{Z}$. $b$ $\mid$ 1 $\Rightarrow$ $b$ = $\pm$ 1